Goshin G.G., Matrosova A.Yu., Tychinskiy V.Z., Andreeva V.V. «Applying ROBDDS for logical circuit delay testing» // Izvestiya vuzov. Fizika 2019. №5 C.86-94
Butorina Nataly B., Mitrofanov Evgeny V., Pakhomova Elena G., Ostanin Sergey A., Shulga Sergey A., Matrosova Anjela Yu. «Detection and masking of trojan circuits in sequential logic» // Tomsk State University Journal of Control and Computer Science 2018. №42 C.89-99
